гедель в словаре кроссвордиста
гедель
Энциклопедический словарь, 1998 г.
ГЕДЕЛЬ (Godel) Курт (1906-78) логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т.н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.
Примеры употребления слова гедель в литературе.
На мой семидесятый день рождения мне устроили прием - Робертсон и Вигнер, Курт Гедель, Раби, Оппенгеймер.
Это не полное описание изоморфизма между Теоремой Геделя и Контракростихпунктом, но это - ядро, самое главное.
Новый способ доказательства Геделем общих утверждений о доказательствах зависит от определенных допущений о том, какие физические процессы могут или не могут представить абстрактный факт так.
Всего три дня прошло с того неприятного телефонного разговора с Элизабет, когда Бэкон сообщил о своем решении отказаться от поездки к ее родителям в Филадельфию и вместо этого присутствовать на лекциях Геделя.
За последние дни Бэкон очень многое разузнал о Геделе и его прошлом, так что мог бы даже написать биографию ученого.
Словно горький пьяница, который принимается самозабвенно вытряхивать из бутылки в стакан последние, до капли, остатки зелья, Бэкон принял бездумное решение остаться с Вивьен по меньшей мере пока длится курс лекций Геделя -- время, в течение которого он рассчитывал не встречаться с Элизабет.
Однако, как с уверенностью полагал Бэкон, лишь немногие из присутствующих -- среди них сидящие в первых рядах Веблен и фон Нейман -- могли в полной мере оценить значение слов, которые произносил Курт Гедель.
За толстыми стенами Фулд-холла объединились великие умы современности: профессора Веблен1, Гедель, Алек-сандер2, фон Нейман, не говоря уже об отце-покровителе физической науки -- самом Эйнштейне.
В конце марта 1942 года фон Нейман сообщил Бэкону, что достопочтенный профессор Курт Гедель через несколько дней представит на заседаниях ученого совета института свои новые работы.
Профессор Гедель был невзрачным, худым как жердь человеком с лицом, похожим на морду опоссума или мускусной крысы.
Все шло как по маслу, когда вдруг однажды Гедель объявил Веблену, что должен возвратиться в Европу немедленно и потому прерывает курс лекций.
Принеся извинения всем профессорам института, Гедель отправился восвояси.
Годом позже Гедель вновь почтил своим присутствием ученое сообщество Принстона, приехав опять с курсом лекций.
Вскоре после аннексии Австрии гитлеровской Германией в 1933 году Гедель теряет место в Венском университете, и, что еще хуже, его призывают на военную службу, несмотря на слабое здоровье.
В тот день Гедель раскрывал перед аудиторией свой метод доказательства так называемой континуум-гипотезы, впервые упомянутой математиком Георгом Кантором1 в теории множеств.
Источник: библиотека Максима Мошкова